Causal Group Multicast: A Formal Description
نویسنده
چکیده
This paper presents two specifications of causal group multicast. In the first, causal ordering will be explained and explored in the context of group multicast. Failures will be introduced and a specification of causal group multicast which includes node crashes will be given. This final specification describes the service provided by ISIS’s causal multicast facility. The models are expressed using the I/O automaton.
منابع مشابه
Casual Group Multicast: A Formal Description
This paper presents two specifications of causal group multicast. In the first, causal ordering will be explained and explored in the context of group multicast. Failures will be introduced and a specification of causal group multicast which includes node crashes will be given. This final specification describes the service provided by ISIS’s causal multicast facility. The models are expressed ...
متن کاملCompositional Speci cation of ODPBinding
A building blocks approach for the formal speciication of binding objects in the ODP computational Model is presented. The formal notation that is used is based on LOTOS extended with two features-real time and gate passing. These features are among the extensions that are currently studied in the ISO standardisation Formal Description Techniques group. We apply our building blocks approach to ...
متن کاملA Causal Multicast Protocol for Mobile Distributed Systems
Causal message ordering in the context of group communication ensures that all the message receivers observe consistent ordering of events affecting a group as a whole. This paper presents a scalable causal multicast protocol for mobile distributed computing systems. In our protocol, only a part of the mobility agents in the system is involved in group computations and the resulting size of con...
متن کاملNew Rules for Early Delivery in an Atomic Multicast System
An atomic multicast facility guarantees that a multicast message is delivered to the multicast group, and that every process receives messages in the same order. The availability of an atomic multicast facility greatly simpliies the implementation of many distributed system functions. Atomic multicast can be built on top of a reliable causal multicast by waiting until each processor in the grou...
متن کاملA Note on Total Ordering Multicast Using Propagation Trees
Jia proposed [4] a multicast scheme, using propagation trees, to ensure the total ordering (including causal ordering) delivery of messages for group communication. Our study indicates that causal relation between some messages may not actually be preserved in this protocol. We then present a revised approach for closed group communication.
متن کامل